-
1 morphism of colimit
Большой англо-русский и русско-английский словарь > morphism of colimit
-
2 morphism of colimit
Математика: морфизм копредела -
3 morphism of colimit
мат. -
4 morphism
морфизм dually universal morphism ≈ двойственно универсальный морфизм fiber bundle morphism ≈ морфизм расслоенного пространства left regular morphism ≈ регулярный слева морфизм local vector bundle morphism ≈ локальный морфизм векторных расслоений locally embeddable morphism ≈ локально вложимый морфизм locally stable morphism ≈ локально устойчивый морфизм locally trivial morphism ≈ локально тривиальный морфизм principal bundle morphism ≈ морфизм главных расслоений projectively embeddable morphism ≈ проективно вложимый морфизм purely inseparable morphism ≈ чисто несепарабельный морфизм residually stable morphism ≈ резидуально устойчивый морфизм right liberty morphism ≈ освобождающий справа морфизм right regular morphism ≈ регулярный справа морфизм universally closed morphism ≈ универсально замкнутый морфизм universally submersive morphism ≈ универсально субмерсивный морфизм - bijective morphism - bilogical morphism - bimeromorphic morphism - birational morphism - bounded morphism - bundle morphism - canonical morphism - categorical morphism - central morphism - clone morphism - closed morphism - cobounded morphism - codiagonal morphism - coequating morphism - coessential morphism - coimage of morphism - coliberty morphism - commutator morphism - compactifiable morphism - compatibility morphism - composite morphism - connecting morphism - coperfect morphism - covering morphism - divisible morphism - dominant morphism - dual morphism - embeddable morphism - epic morphism - etale morphism - extendable morphism - factored morphism - factorial morphism - fibered morphism - finite morphism - flat morphism - functorial morphism - fuzzy morphism - general morphism - geometric morphism - graded morphism - groupoid morphism - homotopic morphism - identity morphism - index of morphism - induced morphism - inductive morphism - injective morphism - inseparable morphism - invertible morphism - kernel of morphism - lattice morphism - liftable morphism - limit morphism - manifold morphism - monic morphism - morphism of colimit - morphism of complexes - morphism of functors - morphism of limit - morphism of manifolds - morphism of premanifold - morphism of presheafs - morphism of rings - morphism of semigroups - morphism of sheafs - natural morphism - neighbor morphism - nonstrict morphism - nontrivial morphism - open morphism - periodicity morphism - pregroup morphism - projective morphism - proper morphism - pseudosmooth morphism - quasicompact morphism - quasifinite morphism - quasiprojective morphism - quotient morphism - ramified morphism - restriction morphism - semilattice morphism - separated morphism - shape morphism - simplicial morphism - splitting morphism - stable morphism - strong morphism - submersive morphism - substitution morphism - surjective morphism - terminal morphism - topological morphism - trace morphism - transfer morphism - transversal morphism - universal morphism - unramified morphism - zero morphism (математика) морфизмБольшой англо-русский и русско-английский словарь > morphism
-
5 morphism
-
6 colimit
-
7 colimit
мат.копредел, прямой предел -
8 морфизм копредела
Большой англо-русский и русско-английский словарь > морфизм копредела
См. также в других словарях:
Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Diagram (category theory) — In category theory, a branch of mathematics, a diagram is the categorical analogue of an indexed family in set theory. The primary difference is that in the categorical setting one has morphisms. An indexed family of sets is a collection of sets … Wikipedia
Initial and terminal objects — Terminal element redirects here. For the project management concept, see work breakdown structure. In category theory, an abstract branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C,… … Wikipedia
Coproduct — This article is about coproducts in categories. For coproduct in the sense of comultiplication, see Coalgebra. In category theory, the coproduct, or categorical sum, is the category theoretic construction which includes the disjoint union of sets … Wikipedia
Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… … Wikipedia
Pre-Abelian category — In mathematics, specifically in category theory, a pre Abelian category is an additive category that has all kernels and cokernels.Spelled out in more detail, this means that a category C is pre Abelian if: # C is preadditive, that is enriched… … Wikipedia
Diagonal functor — In category theory, for any object a in any category where the product exists, there exists the diagonal morphism satisfying for , where πk … Wikipedia
Equivalence of categories — In category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are essentially the same . There are numerous examples of categorical equivalences… … Wikipedia
Universal property — In various branches of mathematics, certain constructions are frequently defined or characterised by an abstract property which requires the existence of a unique morphism under certain conditions. These properties are called universal properties … Wikipedia
Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… … Wikipedia